Nuprl Definition : ma-Msg
0,22
postcript
pdf
Msg(
da
) == Msg(
l
,
tg
.
da
(rcv(
l
,
tg
))?Void)
latex
clarification:
Msg(
da
) == Msg(
l
,
tg
. fpf-cap(
da
;KindDeq;rcv(
l
,
tg
);Void))
latex
Definitions
Msg(
M
)
,
x
.
A
(
x
)
,
f
(
x
)?
z
,
KindDeq
,
rcv(
l
,
tg
)
,
Void
FDL editor aliases
ma-Msg
origin
l,tg. da(rcv(l,tg))?Void)
l,tg. fpf-cap(da;KindDeq;rcv(l,tg);Void)) l,tg. da(rcv(l,tg))?Void)
l,tg. fpf-cap(da;KindDeq;rcv(l,tg);Void)) x.A(x)